struct f
{
    struct _
    {
      template< class x, class=void>
      struct app
      {
        struct _
        {
          template< class y, class=void>
          struct app
          {
              struct _: ||e||
              {
              typedef typename ||e||::value value;
              };
          };
        };
      };
    };
};

